$(\mathrm{csa7}=1)\lor (\mathrm{sa65}=1)\lor (\mathrm{sa70}=1)\lor (\mathrm{sa69}=1)\land (\mathrm{sa33}=0)\land (\mathrm{sa18}=0)$ $(\mathrm{csa11}=1)\lor (\mathrm{sa44}=1)\lor (\mathrm{sa45}=1)\lor (\mathrm{sa65}=1)\lor (\mathrm{sa64}=1)\land (\mathrm{sa33}=0)\land (\mathrm{csa9}=0)\land (\mathrm{sa18}=0)$ $(\mathrm{sa72}=1)\land (\mathrm{sa7}=0)\land (\mathrm{sa33}=0)$ $(\mathrm{csa11}=1)\lor (\mathrm{sa84}=1)$ $(\mathrm{csa11}=1)\lor (\mathrm{sa76}=1)$ $\mathrm{csa16}=1$$(\mathrm{csa3}=1)\lor (\mathrm{csa5}=1)$